Drop GtkWidget::delete-event
authorMatthias Clasen <mclasen@redhat.com>
Mon, 1 Jan 2018 20:46:15 +0000 (15:46 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 16 Jan 2018 19:14:09 +0000 (14:14 -0500)
commit2b52b4be5dd33e69bf8a31dac0f21c06a5627e5e
treefd2d2f9cb4cbfa88d2a5eabc094ed24aa632d8b0
parent41e4c93443066b89770cbc7b4bf52e343cf55659
Drop GtkWidget::delete-event

Nobody is using this signal anymore, and ::delete is there
for the few places where it is needed.
gtk/gtkwidget.c
gtk/gtkwidget.h